verification algorithm造句
例句與造句
- a fingerprint verification algorithm based on fingerprint classification
一種基于指紋分類的指紋識別算法 - automatic fingerprint verification algorithm optimized implemented on embedded system
自動(dòng)指紋識別算法在嵌入式系統(tǒng)上的優(yōu)化實(shí)現(xiàn) - this method signature limits the callers ability to influence the behavior of the verification algorithm
此方法簽名限制調(diào)用方影響驗(yàn)證算法行為的能力。 - fingerprint verification algorithm includes two parts : fingerprint feature extraction and feature matching
指紋鑒別算法主要由指紋特征提取和特征匹配兩部分組成。 - the results got by this method are satisfying . according to related literature, this paper integrated feature extracting procedure and fingerprint verification algorithm
綜合相關(guān)文獻(xiàn)，本文對指紋特征提取及驗(yàn)證算法作了整理，給出了指紋特征提取流程和指紋驗(yàn)證算法描述。 - It's difficult to find verification algorithm in a sentence. 用verification algorithm造句挺難的
- another work is emphasizing on a formal verification algorithm for consistence of the sequence diagrams and the statecharts and connectivity of the sequence diagrams messages
此外，在本文中，還提出了用于順序圖與狀態(tài)圖的一致性、順序圖消息的連通性的形式化驗(yàn)證的算法。 - based on this, we proposed a nc program verification algorithm named z & n . this algorithm can work well for high precise parts without needing finer subdivision
在此基礎(chǔ)上，提出了一種局部再細(xì)分精確求解的編程精度驗(yàn)證算法(z&n方法)，該方法不需增加細(xì)分密度，驗(yàn)證精度就可以有較大的提高。 - the nc verification algorithm named z & n method and named n & n method is presented, z & n method is involved in verification efficiency and n & n method lays a particular stress on verification effect . 3
在精度驗(yàn)證方面,提出了擴(kuò)展z&n精度驗(yàn)證算法和法向n&n精度驗(yàn)證算法,分別提高了驗(yàn)證效率和改善了驗(yàn)證效果。 - with the rapid increase in the concurrent systems " scales, a challenging issue facing model-checking researchers is how to handle the huge state spaces . thus it becomes increasingly important to develop suitable computation models and to design efficient verification algorithms
隨著并發(fā)系統(tǒng)規(guī)模的日益增大，對這類系統(tǒng)的模型檢測面臨著如何處理大規(guī)模狀態(tài)空間問題的挑戰(zhàn)，因此需要為實(shí)際的大規(guī)模并發(fā)系統(tǒng)精心選擇計(jì)算模型，同時(shí)設(shè)計(jì)時(shí)空效率較高的算法。 - moreover, soc design process involves many theories and applications such as signal and system, integrated electronics, layout, semiconductor technology, verification algorithms, etc . hence, in order to master the soc frame and analysis method, standardize the design flow, and obtain the scheme for micro-controller based soc plan, it is necessary to study the soc design approach based on dw8051 ip core
此外,soc的設(shè)計(jì)過程涉及到信號與系統(tǒng)、集成電子學(xué)、版圖、半導(dǎo)體工藝和測試驗(yàn)證等多種理論及應(yīng)用知識,難度和工作量比較大。因此,有必要對集成電路中通用微控制器核(如dw8051核)的soc設(shè)計(jì)方法進(jìn)行較深入的研究,掌握其基本設(shè)計(jì)思路和分析方法,完善設(shè)計(jì)流程,為基于其他類型微控制器核的soc應(yīng)用設(shè)計(jì)提供參考和借鑒。 - upon the construction of weak derivation set, this thesis presents the concept of continuing traceability, and provides decision algorithm for the continuing traceability of a transformation sequence and tittering algorithm for the continuing traceable weak inverse attribute mapping . upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation
在構(gòu)造弱起源集階段，提出了可延續(xù)跟蹤性的概念，給出了可延續(xù)跟蹤性判別算法和可延續(xù)跟蹤的弱逆映射的篩選算法；在驗(yàn)證弱起源集階段，針對不同類型的轉(zhuǎn)換和屬性映射，給出了相應(yīng)的驗(yàn)證算法。 - presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language; incorporating the module with the core verification algorithm; demonstrating the validation and analyzing the performance of the tool with some real-world examples
?擴(kuò)充檢測問題的定義語言?腳本語言的格式，使用sml語言實(shí)現(xiàn)了腳本語言的編譯和擴(kuò)展stga圖生成模塊，并將該模塊和檢測算法核心連接，實(shí)現(xiàn)了整個(gè)工具。論文還結(jié)合應(yīng)用實(shí)例證明了擴(kuò)展工作的有效性并分析了工具的性能。